Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
981	PDF Document Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2010-10-19 06:16:50 Search algorithms Binary decision diagram Boolean algebra Diagrams Model checking Network flow Breadth-first search Dynamic programming Centrality Mathematics Graph theory Applied mathematics
982	PDF Document Add to Reading List Source URL: www.jair.org Language: English - Date: 2006-02-07 22:52:29 Model theory Artificial intelligence Knowledge compilation Boolean algebra Model checking Binary decision diagram Interpretation Conjunctive normal form Structure Mathematics Mathematical logic Logic
983	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2006-10-18 14:25:05 Formal methods Concurrency Diagrams Petri net Theoretical computer science Data transmission Model checking Finite-state machine Reachability Models of computation Automata theory Computer science
984	PDF Document Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-06 21:57:45 Temporal logic Linear temporal logic Model checking Static single assignment form Scheduling Abstraction Semaphore Promela Finite-state machine Computing Software engineering Models of computation
985	PDF Document Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:17:10 Applied mathematics Logic in computer science Formal verification BCS-FACS Model checking Communicating sequential processes Formal specification Abstraction Steve Reeves Formal methods Theoretical computer science Computing
986	PDF Document Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2013-04-24 17:17:52 International Colloquium on Automata Languages and Programming Workshop on Logic Language Information and Computation Symposium on Theoretical Aspects of Computer Science Bill Roscoe Model checking Theoretical computer science Computer science Automata theory
987	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-07-02 09:31:37 Mathematics Logic in computer science Systems engineering Automated theorem proving Formal verification Software verification Model checking Logic simulation Correctness Formal methods Applied mathematics Theoretical computer science
988	PDF Document Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-11-21 08:16:02 Software Diagram Software development process Model checking B-Method Formal specification Dependability Formal methods Software development Science
989	PDF Document Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Science Models of computation Automata theory Digital electronics Formal methods Finite-state machine Software development process Model checking ECLiPSe Computing Formal sciences Software engineering
990	PDF Document Add to Reading List Source URL: web.comlab.ox.ac.uk Language: English Process calculi Logic in computer science Concurrent computing Programming language semantics Communicating sequential processes Models of computation Denotational semantics Divergence Model checking Theoretical computer science Computing Computer science

UPDATE